Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
931	UNIVERSITAS SCIENTIARUM SZEGEDIENSIS UNIVERSITY OF SZEGED Department of Software Engineering Regular Expression matching with Thompson-algorithm Add to Reading List Source URL: trac.webkit.org Language: English - Date: 2009-12-13 07:11:05 Computer science Computing Regular expression Deterministic finite automaton University of Szeged Finite-state machine Nondeterministic finite automaton Grep Algorithm Automata theory Models of computation Theoretical computer science
932	The LISP Destructive Stream Facility Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2012-10-08 22:45:48 Inter-process communication Functional languages Procedural programming languages Lisp programming language Models of computation Iostream Stream processing STREAMS Lisp Computing Software engineering Computer programming
933	Sixth Program Visualization Workshop 1 Increasing the use of JFLAP in Courses S. H. Rodger, H. Qin, J. Su Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2011-06-05 06:58:52 Automata theory Computer science Turing machine Formal languages LR parser Pushdown automaton LL parser Nondeterministic finite automaton Parsing Theory of computation Models of computation Theoretical computer science
934	QMA/qpoly ⊆ PSPACE/poly: De-Merlinizing Quantum Protocols Scott Aaronson∗ University of Waterloo Abstract Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2006-11-24 03:53:50 Quantum complexity theory Quantum information science Models of computation QMA Interactive proof system PP Arthur–Merlin protocol Quantum computer BQP Theoretical computer science Computational complexity theory Applied mathematics
935	Charles Simonyi, the recently returned space tourist, is an intriguing character. So much so that a lengthy, and suitably fascinating, profile was Add to Reading List Source URL: www.omg.org Language: English - Date: 2009-05-28 13:06:50 Software development UML diagrams Models of computation Diagrams Automata theory Executable UML Model-driven architecture UML tool UML state machine Unified Modeling Language Software engineering Data modeling
936	Computability Classes for Enforcement Mechanisms* KEVIN W. HAMLEN Cornell University GREG MORRISETT Harvard University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-04-26 16:43:56 Applied mathematics Computer science Computability theory Formal methods Computability Finite-state machine Kernel Algorithm Turing machine Models of computation Theory of computation Theoretical computer science
937	Where did I go wrong? Explaining errors in business process models Niels Lohmann Universität Rostock, Institut für Informatik, 18051 Rostock, Germany [removed] Abstract. Business process modeling is Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-03-27 03:32:37 Petri net Management Formal methods Model checking Workflow Process calculus Science TAPAAL Model Checker Concurrency Models of computation Diagrams
938	Introduction to Lambda Calculus Henk Barendregt Erik Barendsen Revised edition Add to Reading List Source URL: ftp.cs.ru.nl Language: English - Date: 2008-07-15 17:50:58 Formal methods Models of computation Elementary mathematics Combinatory logic Free variables and bound variables Function Variable De Bruijn index Spectral theory of ordinary differential equations Mathematics Lambda calculus Computability theory
939	Web Extra: The Second Life of ENIAC Hans Neukom Editor’s Note The following information accompanies the main article, “The Second Life of ENIAC,” by Hans Neukom, which appears in the Add to Reading List Source URL: www.computer.org Language: English - Date: 2015-01-06 13:21:00 Models of computation Accumulator Central processing unit ENIAC Little man computer Apollo Abort Guidance System Computer hardware Computing Classes of computers
940	A Concrete Presentation of Game Semantics W. Blum∗ C.-H. L. Ong† Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Models of computation Logic in computer science Lambda calculus Tree traversal Combinatory logic Free variables and bound variables Computation tree Theoretical computer science Mathematics Applied mathematics